(RA (IntInd 1))